Informal mathematics

Results: 71



#Item
61Learning / Basic skills / Education reform / Lifelong learning / Literacy / Numeracy / Skill / Informal learning / Skills for Life / Education / Mathematics education / Knowledge

EAEA INFONOTE PIAAC (Programme for the International Assessment of Adult Competencies) The Programme for the International Assessment of Adult Competencies (PIAAC) is an international survey conducted in 34 countries. I

Add to Reading List

Source URL: www.eaea.org

Language: English - Date: 2013-10-22 06:51:12
62Mathematics / Calculus of structures / Deep inference / Linear logic / Cut-elimination theorem / Proof calculus / Analytic proof / Sequent calculus / Propositional calculus / Logic / Mathematical logic / Proof theory

THE COMMUTATIVE/NONCOMMUTATIVE LINEAR LOGIC BV ALESSIO GUGLIELMI A BSTRACT . This brief survey contains an informal presentation of the commutative/noncommutative linear logic BV in terms of a naif space-temporal model.

Add to Reading List

Source URL: cs.bath.ac.uk

Language: English - Date: 2014-05-08 11:14:10
63Group action / Mathematics / Concurrency control / Lock / Constructible universe

Almost One Page Informal Description of Manson/Pugh model October 23, 2003, 6:18pm Note: the issue of what it means for an action to occur in more than one execution is elided. hb hb

Add to Reading List

Source URL: www.cs.umd.edu

Language: English - Date: 2003-10-24 05:48:40
64Roger Temam / Jacques-Louis Lions / Applied mathematics / Mathematics / Academia / Knowledge / Grigory Barenblatt

Daily News, Monday Edition The Daily News welcomes all participants to ICIAM 99. This informal newsletter will appear each day of the Congress. It will highlight certain events, and inform about program changes, cancell

Add to Reading List

Source URL: www.ma.hw.ac.uk

Language: English - Date: 1999-07-05 06:38:37
65Principia Mathematica / Science / Axiom / Mathematical proof / Mathematics / Mathematical logic / Logic

1934-1 "INFORMAL" PART OF PRINCIPIA 127

Add to Reading List

Source URL: www.hist-analytic.com

Language: English - Date: 2011-07-30 20:40:22
66Mathematics / Recursively enumerable set / Turing degree / Maximal set / Creative and productive sets / Simple set / Low / High / Recursive set / Computability theory / Theoretical computer science / Mathematical logic

Questions in Recursion Theory December 1997 This is an informal list of some open problems in recursion theory. Solutions and new questions are welcome, as well as corrections to the attributions given below. Please, sen

Add to Reading List

Source URL: math.berkeley.edu

Language: English - Date: 2002-11-21 07:33:52
67Mathematics / Elliptic curve / Group theory / Modular form / Algebraic number field / Four-square cipher / Classical cipher / Abstract algebra / Mathematical analysis / Analytic number theory

Lecture Notes in Mathematics A collection of informal reports and seminars Edited by A. Dold, Heidelberg and 6. Eckmann, Zurich Series: Forschungsinstitut f i r Mathematik, ETH, Zurich . Adviser: K. Chandrasekharar Goro

Add to Reading List

Source URL: www.plouffe.fr

Language: English - Date: 2014-05-28 20:50:00
68Chaos theory / Ergodic theory / Orbit / Cycle / Rounding / Discretization / Invariant measure / Attractor / Mathematics / Mathematical analysis / Dynamical systems

Informal Remarks on the Orbit Structure of Discrete Approximations to Chaotic Maps Oscar E. Lanford III CONTENTS 1. Introduction

Add to Reading List

Source URL: www.math.harvard.edu

Language: English - Date: 2013-12-22 12:53:25
69Principia Mathematica / Science / Axiom / Mathematical proof / Mathematics / Mathematical logic / Logic

1934-1 "INFORMAL" PART OF PRINCIPIA 127

Add to Reading List

Source URL: hist-analytic.com

Language: English - Date: 2011-07-30 20:40:22
70Islam in the United States / Organisation of Islamic Cooperation / Social psychology / Sociology / Mathematics competitions / Structure / Organizational behavior / Organization / Informal organization

www.twf.org News & Views

Add to Reading List

Source URL: www.twf.org

Language: English - Date: 2007-10-17 08:02:49
UPDATE